(0 8 7 4 3)(1 12 10)(2 9 5)(6 13 11)
ALLOWS (11/8)-SEQUENCE
1: (1 10 12)
(0 8 7 4 3)(1 10 12)(2 9 5)(6 13 11)
2: (6 13 11)
(0 8 7 4 3)(1 10 12)(2 9 5)(6)(11)(13)
3: (0 8 3)
(0)(1 10 12)(2 9 5)(3 7 4)(6)(8)(11)(13)
4: (1 10 12)
(0)(1)(2 9 5)(3 7 4)(6)(8)(10)(11)(12)(13)